# Copyright lowRISC contributors (OpenTitan project).
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

load("//rules:otbn.bzl", "otbn_binary")

package(default_visibility = ["//visibility:public"])

otbn_binary(
    name = "otbn_insn_carry_flag",
    srcs = [
        "otbn_insn_carry_flag.s",
    ],
)

otbn_binary(
    name = "otbn_key_sideload_sca",
    srcs = [
        "otbn_key_sideload_sca.s",
    ],
)

otbn_binary(
    name = "otbn_insn_combi_ops",
    srcs = [
        "otbn_insn_combi_ops.s",
    ],
)
